(LAP TRYIT SUBR) 
	(JSP 6 SPECBIND) 
	(0 0 (SPECIAL CNT)) 
	(MOVE 1 (SPECIAL CLAUSES)) 
	(CALL 1 (E LENGTH)) 
	(CALL 1 (E ADD1)) 
	(MOVEM 1 (SPECIAL CNT)) 
	(PUSH P (SPECIAL CLAUSES)) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
	(PUSH P (C 0 0 (QUOTE NIL) 0)) 
TAG1 	(HLRZ@ 1 -11 P) 
	(CALL 1 (E CADAR)) 
	(JUMPN 1 TAG13) 
	(MOVE 2 0 P) 
	(HLRZ@ 1 -11 P) 
	(CALL 2 (E CONS)) 
	(MOVEM 1 0 P) 
	(JRST 0 TAG12) 
TAG13 	(MOVE 2 -2 P) 
	(HLRZ@ 1 -11 P) 
	(CALL 2 (E CONS)) 
	(MOVEM 1 -2 P) 
TAG14 
TAG12 	(HRRZ@ 1 -11 P) 
	(MOVEM 1 -11 P) 
	(JUMPN 1 TAG1) 
	(MOVE 1 -2 P) 
	(MOVEM 1 -3 P) 
	(MOVE 1 0 P) 
	(MOVEM 1 -1 P) 
	(MOVEI 1 (QUOTE T)) 
	(MOVEM 1 -4 P) 
	(HLRZ@ 1 -3 P) 
	(MOVEM 1 -5 P) 
	(MOVE 1 0 P) 
	(MOVEM 1 -6 P) 
	(MOVE 1 -1 P) 
	(MOVEM 1 -7 P) 
	(JRST 0 TAG4) 
TAG2 	(HRRZ@ 1 -1 P) 
	(JUMPN 1 TAG20) 
	(HRRZ@ 1 -3 P) 
	(JUMPN 1 TAG22) 
	(MOVEI 1 (QUOTE NOPROOF)) 
	(CALL 1 (E ERR)) 
	(JRST 0 TAG21) 
TAG22 	(JRST 0 TAG3) 
TAG21 	(JRST 0 TAG17) 
TAG20 	(HRRZ@ 1 -3 P) 
	(JUMPN 1 TAG24) 
	(MOVEI 1 (QUOTE T)) 
	(MOVEM 1 -4 P) 
TAG24 
TAG17 	(MOVE 1 -4 P) 
	(JUMPE 1 TAG26) 
	(HRRZ@ 1 -1 P) 
	(MOVEM 1 -1 P) 
	(HLRZ@ 1 1) 
	(MOVEM 1 -5 P) 
	(MOVE 1 -2 P) 
	(MOVEM 1 -6 P) 
	(MOVE 1 -3 P) 
	(CLEARM 1 -4 P) 
	(MOVEM 1 -7 P) 
	(JRST 0 TAG4) 
TAG26 
TAG3 	(HRRZ@ 1 -3 P) 
	(MOVEM 1 -3 P) 
	(MOVE 1 0 P) 
	(MOVEM 1 -6 P) 
	(MOVE 1 -1 P) 
	(MOVEM 1 -7 P) 
	(HLRZ@ 1 -3 P) 
	(MOVEM 1 -5 P) 
	(MOVEI 1 (QUOTE T)) 
	(MOVEM 1 -4 P) 
TAG4 	(HLRZ@ 1 -5 P) 
	(HLRZ@ 1 1) 
	(JUMPE 1 TAG2) 
	(HLRZ@ 1 -6 P) 
	(CALL 1 (E CAAR)) 
	(JUMPE 1 TAG6) 
	(MOVE 1 -4 P) 
	(JUMPE 1 TAG31) 
	(MOVE 2 -5 P) 
	(HLRZ@ 1 -6 P) 
	(CALL 2 (E RESOLVE1)) 
	(JRST 0 TAG30) 
TAG31 	(HLRZ@ 2 -6 P) 
	(MOVE 1 -5 P) 
	(CALL 2 (E RESOLVE1)) 
TAG32 
TAG30 	(MOVEM 1 -10 P) 
	(JUMPE 1 TAG6) 
	(MOVE 2 1) 
	(MOVEI 1 (QUOTE NIL)) 
	(CALL 2 (E MEMQ)) 
	(JUMPE 1 TAG35) 
	(HLRZ@ 2 -6 P) 
	(MOVE 1 -5 P) 
	(CALL 2 (E PROOF)) 
	(MOVEI 1 (QUOTE QED)) 
	(JRST 0 TAG7) 
TAG35 	(MOVE 2 -10 P) 
	(MOVE 1 (SPECIAL CLAUSES)) 
	(CALL 2 (E EDIT)) 
	(MOVEM 1 -11 P) 
	(JUMPE 1 TAG6) 
	(CALL 1 (E CLAUSES2)) 
	(MOVE 1 -11 P) 
	(CALL 1 (E LENGTH)) 
	(MOVE 2 (SPECIAL CNT)) 
	(CALL 2 (E *PLUS)) 
	(MOVEM 1 (SPECIAL CNT)) 
	(MOVE 1 (SPECIAL CLAUSES)) 
	(MOVEM 1 (SPECIAL XX11)) 
	(MOVE 1 -11 P) 
	(MOVEM 1 (SPECIAL YY11)) 
	(MOVE 2 -11 P) 
	(MOVE 1 (SPECIAL CLAUSES)) 
	(CALL 2 (E BAKSUB)) 
	(HLRZ@ 2 -6 P) 
	(MOVE 1 -5 P) 
	(CALL 2 (E CONS)) 
	(MOVE 3 1) 
	(MOVE 2 -11 P) 
	(MOVE 1 (SPECIAL EE1)) 
	(CALL 3 (E BOOKEEP)) 
TAG5 	(HLRZ@ 1 -11 P) 
	(CALL 1 (E CADAR)) 
	(JUMPN 1 TAG40) 
	(PUSH P (C 0 0 TAG41 0)) 
	(PUSH P -1 P) 
	(HLRZ@ 1 -13 P) 
	(CALL 1 (E NCONS)) 
	(PUSH P 1) 
	(MOVNI 6 2) 
	(JCALL 16 (E NCONC)) 
TAG41 	(JRST 0 TAG37) 
TAG40 	(PUSH P (C 0 0 TAG44 0)) 
	(PUSH P -3 P) 
	(HLRZ@ 1 -13 P) 
	(CALL 1 (E NCONS)) 
	(PUSH P 1) 
	(MOVNI 6 2) 
	(JCALL 16 (E NCONC)) 
TAG44 
TAG42 
TAG37 	(HRRZ@ 1 -11 P) 
	(MOVEM 1 -11 P) 
	(JUMPN 1 TAG5) 
TAG6 	(CALL 0 (E TTYIN)) 
	(JUMPE 1 TAG47) 
	(MOVE 1 (SPECIAL CLAUSES)) 
	(CALL 1 (E UPDATE)) 
TAG47 	(MOVE 1 -6 P) 
	(CAMN 1 -7 P) 
	(JRST 0 TAG2) 
	(HRRZ@ 1 1) 
	(MOVEM 1 -6 P) 
	(JRST 0 TAG4) 
TAG7 	(SUB P (C 0 0 12 12)) 
	(JRST 0 SPECSTR) 
	NIL